module Module

open type

()
